Vaciar el ...

Hay otra alternativa más simple de modelizar el vaciado del balde grande o chico, consistente en reemplazar el "1" pasante por un cero "tapón", ya que no pasa en realidad el contenido del balde antes de la transición al contenido después de ella. Para el vaciado del balde grande se puede modelizar:

   
                               | 0 0 0 |
                               | 0 1 0 |
                               | 0 0 1 |

   
                               | 1 0 0 |
                               | 0 0 0 |
                               | 0 0 1 |

Vuelta